- theorem of equivalence
- 等效定理
English-Chinese dictionary of mechanical engineering (英汉机械工程大词典). 2013.
theorem of equivalence
Look at other dictionaries:
Equivalence relation — In mathematics, an equivalence relation is a binary relation between two elements of a set which groups them together as being equivalent in some way. Let a , b , and c be arbitrary elements of some set X . Then a b or a ≡ b denotes that a is… … Wikipedia
Equivalence of categories — In category theory, an abstract branch of mathematics, an equivalence of categories is a relation between two categories that establishes that these categories are essentially the same . There are numerous examples of categorical equivalences… … Wikipedia
Equivalence principle — General relativity|cTopic=Fundamental conceptsThe equivalence principle is one of the fundamental background concepts of the General Theory of Relativity. For the overall context, see General relativity.In the physics of relativity, the… … Wikipedia
Equivalence class — This article is about equivalency in mathematics; for equivalency in music see equivalence class (music). In mathematics, given a set X and an equivalence relation on X, the equivalence class of an element a in X is the subset of all elements in… … Wikipedia
Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… … Wikipedia
Hall's marriage theorem — In mathematics, Hall s marriage theorem is a combinatorial result that gives the condition allowing the selection of a distinct element from each of a collection of finite sets. It was proved by Philip Hall (1935). Contents 1 Definitions and … Wikipedia
Utm theorem — In computability theory the utm theorem or universal turing machine theorem is a basic result about Gödel numberings of the set of computable functions. It proves the existence of a computable universal function which is capable of calculating… … Wikipedia
Coase theorem — In law and economics, the Coase theorem (pronounced /ˈkoʊs/), attributed to Ronald Coase, describes the economic efficiency of an economic allocation or outcome in the presence of externalities. The theorem states that if trade in an externality… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Myhill–Nerode theorem — In the theory of formal languages, the Myhill–Nerode theorem provides a necessary and sufficient condition for a language to be regular. The theorem is named for John Myhill and Anil Nerode, who proved it at the University of Chicago in 1958… … Wikipedia
McNaughton's Theorem — In automata theory, McNaughton s theorem refers to a theorem that asserts that the set of ω regular languages is identical to the set of languages recognizable by deterministic Muller automata. [1] This theorem is proven by supplying an algorithm … Wikipedia
